Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 3.Ident. | Authors (with country if any) | Title |
---|---|---|
003382 | Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | How to Tackle Integer Weighted Automata Positivity |
004601 | Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Approximation based tree regular model checking |
004E14 | Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives |
This area was generated with Dilib version V0.6.33. |